feat(psychometric): restore Driver 2017-era T0TOTALVAR extra+p_0 on main - #324

#!/bin/bash
set -euo pipefail

printf '%s\n' '== Exact head and PR diff summary =='
git rev-parse HEAD
git status --short
git diff --stat HEAD^ HEAD
git diff --name-only HEAD^ HEAD

printf '%s\n' '== Changed-file outlines =='
git diff --name-only HEAD^ HEAD | while IFS= read -r file; do
  case "$file" in
    *.rs)
      printf '\n-- %s --\n' "$file"
      ast-grep outline "$file" --items all || true
      ;;
  esac
done

printf '%s\n' '== Full PR diff =='
git diff --find-renames --find-copies --unified=80 HEAD^ HEAD

printf '%s\n' '== Relevant definitions and uses =='
rg -n -i -C 5 \
  't0totalvar|t0_trait|t0var|traitvar|recover_initial_trait_variance|event.time|event_time|is_finite|finite' \
  --glob '*.rs' .

#!/bin/bash
set -euo pipefail

file="crates/psychometric_core/src/event_time.rs"

printf '%s\n' '== Commit metadata and changed paths =='
git show --no-patch --format='commit=%H%nparents=%P%nsubject=%s' HEAD
git diff-tree --no-commit-id --name-status -r HEAD

printf '%s\n' '== Exact patch for T0TOTALVAR symbols =='
git diff --unified=25 HEAD^ HEAD -- "$file" | \
  grep -n -E -C 20 'recover_initial_total_variance|InitialTotalVariance|T0TOTALVAR|recover_initial_trait_variance' || true

printf '%s\n' '== Implementation, refusal functions, and tests =='
sed -n '6790,6940p' "$file"
sed -n '16470,16680p' "$file"

printf '%s\n' '== Symbol definitions and crate exports =='
rg -n -C 4 \
  'recover_initial_total_variance|InitialTotalVarianceIsNot|recover_initial_trait_variance' \
  --glob '*.rs' crates/psychometric_core

printf '%s\n' '== Error enum declarations and display/source handling =='
rg -n -C 3 \
  'InitialTotalVarianceIsNot|enum PsychometricError|match self' \
  --glob '*.rs' crates/psychometric_core

printf '%s\n' '== All new tests in this commit =='
git diff --unified=3 HEAD^ HEAD -- "$file" | \
  grep -n -E -C 8 '^\+.*(fn |recover_initial_total_variance|InitialTotalVariance)' || true

#!/bin/bash
set -euo pipefail

printf '%s\n' '== Focused diffs outside the primary implementation =='
for file in \
  ARCHITECTURE.md CHANGELOG.md CLAUDE.md docs/TRACEABILITY.md \
  docs/adr/0005-posterior-esem-dsem.md \
  docs/research/multilevel-event-time-recovery.md \
  crates/psychometric_core/src/lib.rs \
  crates/psychometric_core/src/error.rs \
  crates/psychometric_core/tests/multilevel_event_time_recovery_contract.rs \
  crates/psychometric_core/tests/scientific_claim_boundary_contract.rs
do
  printf '\n-- %s --\n' "$file"
  git diff --unified=12 HEAD^ HEAD -- "$file" | \
    grep -n -E -C 12 'T0TOTALVAR|recover_initial_total_variance|InitialTotalVariance|recover_initial_trait_variance|^\+' || true
done

printf '%s\n' '== Public re-exports of the new boundary helpers =='
rg -n -C 2 'refuse_initial_total_variance' crates/psychometric_core/src/lib.rs

printf '%s\n' '== Explicit sum-overflow coverage =='
rg -n -C 3 \
  'recover_initial_total_variance\([^)]*(MAX|1e308)|initial_total_variance.*overflow|extra.*initial_variance.*overflow' \
  --glob '*.rs' crates/psychometric_core

printf '%s\n' '== Static arithmetic checks for required boundary cases =='
python3 - <<'PY'
import math
cases = {
    "square_overflow": (1e200, 1.0, 1.0),
    "extra_product_overflow": (1e154, 1e2, 0.0),
    "final_sum_overflow": (1.0, float.fromhex("0x1.fffffffffffffp+1023"), float.fromhex("0x1.fffffffffffffp+1023")),
}
for name, (effect, trait, p0) in cases.items():
    squared = effect * effect
    extra = squared * trait
    total = extra + p0
    print(f"{name}: squared_finite={math.isfinite(squared)} extra_finite={math.isfinite(extra)} total_finite={math.isfinite(total)}")
PY